deducir definiciones